منابع مشابه
v2 ∗ DECIM
Decim is a hardware oriented stream cipher with 80-bit key and 64-bit IV which was submitted to the ECRYPT stream cipher project. The design of Decim is based on both a nonlinear filter LFSR and an irregular decimation mechanism called the ABSG. As a consequence, Decim is of low hardware complexity. Recently, Hongjun Wu and Bart Preneel pointed out two flaws in the stream cipher Decim. The firs...
متن کاملBOOM v2
This paper presents BOOM version 2, an updated version of the Berkeley Out-of-Order Machine first presented in [3]. The design exploration was performed through synthesis, place and route using the foundry-provided standard-cell library and the memory compiler in the TSMC 28 nm HPM process (high performance mobile). BOOM is an open-source processor that implements the RV64G RISC-V Instruction S...
متن کاملDecomposing Opacity
Transactional memory (TM) algorithms are subtle and the TM correctness conditions are intricate. Decomposition of the correctness condition can bring modularity to TM algorithm design and verification. We present a decomposition of opacity called markability as a conjunction of separate intuitive invariants. We prove the equivalence of opacity and markability. The proofs of markability of TM al...
متن کاملUnlearning V2
This study investigates how child speakers of a verb second (V2) language acquire the supposedly more basic SVO word order of English. Data comes from approximately 100 Norwegian school children aged 7 to 12 in their acquisition of three related syntactic constructions. The focus of the investigation is the extent of language transfer from the L1, related to questions of markedness. It is shown...
متن کاملDecomposing Questions
The primary proposal of this thesis that in questions, a “Q” morpheme must undergo syntactic movement from a clause-internal position to a clause-peripheral position. Throughout this thesis, we develop a syntactic analysis and a semantic formalism for questions that accounts for the facts observed in wh-in-situ languages (focusing mainly on Japanese, Sinhala, Shuri Okinawan, and premodern Japan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Stellenbosch Papers in Linguistics
سال: 2018
ISSN: 2223-9936
DOI: 10.5774/48-0-291